package controlFlowGraph;

import java.util.Set;

import domains.Interval;
import domains.IntervalDomain;

public abstract class Expression {
	public abstract Set<Variable> getInvolvedVariables();
	
	public boolean isTrivial() {
		return false;
	}
	
	public Interval abstractExpressionEvaluation(IntervalDomain dom){
		return null;
	}

	public void replaceVariable(Variable v, Constant c){
		
	}
}
